fix compile.sh
authorJann Horn <jann@thejh.net>
Sun, 8 Dec 2013 17:16:29 +0000 (18:16 +0100)
committerJann Horn <jann@thejh.net>
Sun, 8 Dec 2013 17:16:29 +0000 (18:16 +0100)
commitdb23824f0c7b41e3cdbf74b3cf80acf2c65f5bda
tree45a0a060a24eb646d6e23c8d1982ee4cc0e29796
parent467866fd55129d1149200c44849c08e9f71f33a7
fix compile.sh
compile.sh