1 files changed, 0 insertions, 11 deletions

diff --git a/scripts/robust-include b/scripts/robust-include
deleted file mode 100755
index e427eb1..0000000
--- a/scripts/robust-include
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/bash
-
-# Silly script to get around the lack of includes in ROBUST.
-
-source common.sh
-getPrgDir
-
-# The problem here is that the > bit is executed as the user, not as opensim.
-cat ${PRGDIR}/../../config/config.ini ${PRGDIR}/../bin/Robust.ini >${PRGDIR}/../../config/Robust.ini
-chown -R ${OS_USER}:${OS_USER} ${PRGDIR}/../../config/Robust.ini
-chmod 600 ${PRGDIR}/../../config/Robust.ini