summary refs log tree commit diff homepage
diff options
context:
space:
mode:
-rwxr-xr-xchroot.sh6
1 files changed, 3 insertions, 3 deletions
diff --git a/chroot.sh b/chroot.sh
index fe4442a..2b0bc4a 100755
--- a/chroot.sh
+++ b/chroot.sh
@@ -1,9 +1,9 @@
 #!/bin/sh
 set -e -u -x
 
-./server.c
-./client.c
-./help.c
+./server.c -O3
+./client.c -O3
+./help.c -O3
 
 if [ ! -f termcap.db ]; then
     patch -p0 -o termcap < termcap.diff