diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -166,9 +166,9 @@ write_sysconfig: | |||
166 | echo 'rocks_trees = {' >> "$(DESTDIR)$(CONFIG_FILE)" ;\ | 166 | echo 'rocks_trees = {' >> "$(DESTDIR)$(CONFIG_FILE)" ;\ |
167 | if [ ! -n "$(FORCE_CONFIG)" ] ;\ | 167 | if [ ! -n "$(FORCE_CONFIG)" ] ;\ |
168 | then \ | 168 | then \ |
169 | echo ' home..[[/.luarocks]],' >> "$(DESTDIR)$(CONFIG_FILE)" ;\ | 169 | echo ' { name = [[user]], root = home..[[/.luarocks]] },' >> "$(DESTDIR)$(CONFIG_FILE)" ;\ |
170 | fi ;\ | 170 | fi ;\ |
171 | echo ' [[$(ROCKS_TREE)]]' >> "$(DESTDIR)$(CONFIG_FILE)" ;\ | 171 | echo ' { name = [[system]], root = [[$(ROCKS_TREE)]] }' >> "$(DESTDIR)$(CONFIG_FILE)" ;\ |
172 | echo '}' >> "$(DESTDIR)$(CONFIG_FILE)" ;\ | 172 | echo '}' >> "$(DESTDIR)$(CONFIG_FILE)" ;\ |
173 | fi | 173 | fi |
174 | 174 | ||