Fix redo bug in libplomrogue build file.

diff --git a/libplomrogue.so.do b/libplomrogue.so.do
index d19de9433f4dd44b62aa05badf8c98bbbc17da90..26ca117fc5f503b6a512c0aedbe4000efde7a4c7 100644 (file)
--- a/libplomrogue.so.do
+++ b/libplomrogue.so.do
@@ -7,4 +7,4 @@
 redo-ifchange build/compiler_flags
 . ./build/compiler_flags
 redo-ifchange src/server/libplomrogue.c
-gcc -shared -fPIC $CFLAGS -o libplomrogue.so src/server/libplomrogue.c -lm
+gcc -shared -fPIC $CFLAGS -o $3 src/server/libplomrogue.c -lm