X-Git-Url: https://plomlompom.com/repos/foo.html?a=blobdiff_plain;f=redo;h=4081117268dee04d1df9a08acd01f043d71bf0fd;hb=7e533c6869a8ce8263f1f6eb6808d323472bb4b4;hp=da2637beff1876add1a2f33e998f7ff95968cb7f;hpb=109dc4e8a5d9f09541ef2dcb84bd6b6ac2e2fb00;p=plomrogue
diff --git a/redo b/redo
index da2637b..4081117 100755
--- a/redo
+++ b/redo
@@ -18,12 +18,5 @@
# 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 "$@"