X-Git-Url: https://plomlompom.com/repos/test.html?a=blobdiff_plain;f=redo;h=da2637beff1876add1a2f33e998f7ff95968cb7f;hb=57ec5003ecb7f83f97b5599588440454a319f323;hp=4081117268dee04d1df9a08acd01f043d71bf0fd;hpb=7ebdd51997623d8d62cc7539bae8ebffa2681059;p=plomrogue
diff --git a/redo b/redo
index 4081117..da2637b 100755
--- a/redo
+++ b/redo
@@ -18,5 +18,12 @@
# for a
# workaround.
+if [ ! -e ./libplomrogue.so ]
+then
+ 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
+fi
+
export PATH=$PATH:$PWD/build/redo_scripts
redo "$@"