diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 67f28091..f0a6a807 100644 --- a/src/Makefile +++ b/src/Makefile @@ -391,7 +391,7 @@ $(lua_tgz): ; wget http://www.lua.org/ftp/$@ $(lpeg_tgz): ; wget http://www.inf.puc-rio.br/~roberto/lpeg/$@ $(lfs_zip): ; wget http://github.com/keplerproject/luafilesystem/archive/$@ lua: lua.patch | $(lua_tgz) - if [ -d $@ ]; then rm -r $@; fi + if [ -d $@ ]; then rm -rf $@; fi mkdir $@ && tar xzf $| -C $@ && mv $@/*/* $@ patch -d $@ -N -p1 < $< lualibs: lua/src/lib/lpeg lua/src/lib/lfs |