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 | ||
