From: Christian Heller <c.heller@plomlompom.de>
Date: Sun, 8 Mar 2015 16:54:30 +0000 (+0100)
Subject: Build script: *Always* build libplomrogue, mtime check is not portable.
X-Git-Tag: tce~357
X-Git-Url: https://plomlompom.com/repos/process_efforts?a=commitdiff_plain;h=64cd5fdd5279471fbc417cc54d4d0048383ff3f9;p=plomrogue

Build script: *Always* build libplomrogue, mtime check is not portable.
---

diff --git a/redo b/redo
index da2637b..8f459fb 100755
--- a/redo
+++ b/redo
@@ -18,12 +18,9 @@
 # <https://github.com/plomlompom/plomrogue/issues/2#issuecomment-50972436> 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
+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 "$@"