chiark / gitweb /
Fix a race between track startup and scratching. Basically if the
[disorder] / scripts / inst
index e0a51f0b39080702c56675ab36ea246747bb1197..18cfee08adee765c2e2ae89e53b35ed33c6f4c78 100755 (executable)
@@ -22,8 +22,7 @@ set -e
 set -x
 [ -d =build ] && cd =build
 make "$@"
-make check
+#make check
 really make "$@" install
-really ./libtool --mode=install install -m 755 server/disorder.cgi /home/jukebox/public_html/index.cgi
+really install -m 755 server/disorder.cgi /home/jukebox/public_html/index.cgi
 really ldconfig
-# arch-tag:cbb189b7f23939cc806cf6dc0c2cb0d5