chiark / gitweb /
Fix a race between track startup and scratching. Basically if the
[disorder] / scripts /
drwxr-xr-x   ..
-rw-r--r-- 1070 Makefile.am
-rw-r--r-- 2339 completion.bash
-rwxr-xr-x 1231 dist
-rwxr-xr-x 3510 format-gcov-report
-rwxr-xr-x 1889 htmlman
-rwxr-xr-x 954 inst
-rwxr-xr-x 19204 make-unidata
-rwxr-xr-x 720 make-version-string
-rwxr-xr-x 1111 makedeb
-rw-r--r-- 1568 oggrename
-rw-r--r-- 1317 sedfiles.make
-rwxr-xr-x 10123 setup.in
-rwxr-xr-x 2306 teardown.in
-rwxr-xr-x 414 text2c