diff options
Diffstat (limited to 'install_debug.sh')
| -rwxr-xr-x | install_debug.sh | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/install_debug.sh b/install_debug.sh index ef6b8a30..dacb7cd2 100755 --- a/install_debug.sh +++ b/install_debug.sh @@ -1,18 +1,9 @@ #!/bin/bash -ME=install_debug - -if (($# == 1 )) -then - PREFIX=`echo "$1"|sed -e "s,\/$,,"` -else - PREFIX="/usr/local/ouroboros" -fi - BUILDDIR=build DEBUGDIR=debug -bash compile_debug.sh $PREFIX +bash compile_debug.sh $1 cd $BUILDDIR/$DEBUGDIR make install |