From b9868f5aa6c4351b42ef706d7669883dc6c9de75 Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Mon, 9 Mar 2015 12:59:18 +0100
Subject: [PATCH] Add previously forgotten libplomrogue.so redo build file.

---
 libplomrogue.so.do | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 libplomrogue.so.do

diff --git a/libplomrogue.so.do b/libplomrogue.so.do
new file mode 100644
index 0000000..d19de94
--- /dev/null
+++ b/libplomrogue.so.do
@@ -0,0 +1,10 @@
+# redo build file to build the library "libplomrogue.so"
+
+# This file is part of PlomRogue. PlomRogue is licensed under the GPL version 3
+# or any later version. For details on its copyright, license, and warranties,
+# see the file NOTICE in the root directory of the PlomRogue source package.
+
+redo-ifchange build/compiler_flags
+. ./build/compiler_flags
+redo-ifchange src/server/libplomrogue.c
+gcc -shared -fPIC $CFLAGS -o libplomrogue.so src/server/libplomrogue.c -lm
-- 
2.30.2