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

[plomrogue] / redo

diff --git a/redo b/redo
index 965988aa31b617acf0121efe82a6732e2a2320fb..8f459fbdd6e2ac9f85e9d567c77975165a1bcb47 100755 (executable)
--- a/redo
+++ b/redo
@@ -13,6 +13,14 @@
 # build/redo_scripts/. For details on this version, see:
 # - <http://news.dieweltistgarnichtso.net/bin/redo.html>
 # - <http://news.dieweltistgarnichtso.net/bin/redo-ifchange.html>
+#
+# This "redo" implementation may experience trouble on OS X systems, see
+# <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 "$@"