Server/py: Allow working with non-default save file.

[plomrogue] / redo

diff --git a/redo b/redo
index 4081117268dee04d1df9a08acd01f043d71bf0fd..8f459fbdd6e2ac9f85e9d567c77975165a1bcb47 100755 (executable)
--- a/redo
+++ b/redo
@@ -18,5 +18,9 @@
 # <https://github.com/plomlompom/plomrogue/issues/2#issuecomment-50972436> for a
 # workaround.
 
+echo "non-redo stuff (preparing for future Python port sans redo needs):"
+echo "Building library for server's Python variant with mere shell one-liner."
+./compile-server.sh
+
 export PATH=$PATH:$PWD/build/redo_scripts
 redo "$@"