diff options
| author | Dimitri Staessens <dimitri.staessens@intec.ugent.be> | 2016-03-07 15:54:03 +0100 |
|---|---|---|
| committer | Dimitri Staessens <dimitri.staessens@intec.ugent.be> | 2016-03-07 15:54:03 +0100 |
| commit | aa5997970f90e48532cfb749b2fe4a6b182de11f (patch) | |
| tree | 76402de1d3b5c85d45ed2c42acaf96163c339277 /compile_debug.sh | |
| parent | a430220c4c7eb32dbd5236df4d335f3c017dcb8a (diff) | |
| parent | f9c16675dc625c124345bb440aa9604af61ddb8d (diff) | |
| download | ouroboros-aa5997970f90e48532cfb749b2fe4a6b182de11f.tar.gz ouroboros-aa5997970f90e48532cfb749b2fe4a6b182de11f.zip | |
Merged in sandervrijders/ouroboros/be-tests (pull request #23)
Testing framework
Diffstat (limited to 'compile_debug.sh')
| -rwxr-xr-x | compile_debug.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compile_debug.sh b/compile_debug.sh index 0b21b336..3ea1e039 100755 --- a/compile_debug.sh +++ b/compile_debug.sh @@ -32,4 +32,4 @@ cd $DEBUGDIR cmake -DCMAKE_INSTALL_PREFIX=$PREFIX -DCMAKE_BUILD_TYPE=Debug ../.. -make +make && make check |