diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-08 14:34:12 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-08-08 14:34:12 +0200 |
| commit | 3220cd99c42f08bbd959cf73b9fc7b3ca8375676 (patch) | |
| tree | ae9898536ee5767080b39e82806804fbf9911605 /install_debug.sh | |
| parent | 3c80fae407f451691a4a4178617986e32d0c8162 (diff) | |
| parent | d13a6dfd0f7a8ebc98cdb59cf0a04a282fa1593d (diff) | |
| download | ouroboros-3220cd99c42f08bbd959cf73b9fc7b3ca8375676.tar.gz ouroboros-3220cd99c42f08bbd959cf73b9fc7b3ca8375676.zip | |
Merged in sandervrijders/ouroboros/be-enroll (pull request #189)
ipcpd: normal: Allow exchange of static DIF information
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 |