Server/py: Use -O3 for libplomrogue.

diff --git a/compile-server.sh b/compile-server.sh
index 88b11b421ff6c74bdb78ebb073833fb52f482d76..88be995a37a5cdab9a8d1e06e41e2a0b693bef81 100755 (executable)
--- a/compile-server.sh
+++ b/compile-server.sh
@@ -1,2 +1,2 @@
 #!/bin/sh
-gcc -shared -fPIC -std=c11 -pedantic-errors -Wall -Werror -Wextra -Wformat-security -g -o libplomrogue.so libplomrogue.c
+gcc -shared -fPIC -std=c11 -pedantic-errors -Wall -Werror -Wextra -Wformat-security -O3 -o libplomrogue.so libplomrogue.c