diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -136,9 +136,6 @@ write_sysconfig: built | |||
136 | if [ ! -f "$(DESTDIR)$(CONFIG_FILE)" ] ;\ | 136 | if [ ! -f "$(DESTDIR)$(CONFIG_FILE)" ] ;\ |
137 | then \ | 137 | then \ |
138 | mkdir -p `dirname "$(DESTDIR)$(CONFIG_FILE)"` ;\ | 138 | mkdir -p `dirname "$(DESTDIR)$(CONFIG_FILE)"` ;\ |
139 | echo 'rocks_servers = {' >> "$(DESTDIR)$(CONFIG_FILE)" ;\ | ||
140 | echo ' [[http://luarocks.org/repositories/rocks]]' >> "$(DESTDIR)$(CONFIG_FILE)" ;\ | ||
141 | echo '}' >> "$(DESTDIR)$(CONFIG_FILE)" ;\ | ||
142 | echo 'rocks_trees = {' >> "$(DESTDIR)$(CONFIG_FILE)" ;\ | 139 | echo 'rocks_trees = {' >> "$(DESTDIR)$(CONFIG_FILE)" ;\ |
143 | if [ ! -n "$(FORCE_CONFIG)" ] ;\ | 140 | if [ ! -n "$(FORCE_CONFIG)" ] ;\ |
144 | then \ | 141 | then \ |