diff options
Diffstat (limited to 'install_debug.sh')
-rwxr-xr-x | install_debug.sh | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/install_debug.sh b/install_debug.sh deleted file mode 100755 index 277ca92d..00000000 --- a/install_debug.sh +++ /dev/null @@ -1,16 +0,0 @@ -#!/usr/bin/env bash - -if (($# == 1 )) -then - PREFIX=${1/%\//} -else - PREFIX="/usr/local/ouroboros" -fi - -BUILDDIR=build -DEBUGDIR=debug - -bash compile_debug.sh "$PREFIX" - -cd $BUILDDIR/$DEBUGDIR || exit 1 -make install |