diff options
-rw-r--r-- | .github/workflows/build-test.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/build-test.yml b/.github/workflows/build-test.yml index 90f145f0..1a7125ad 100644 --- a/.github/workflows/build-test.yml +++ b/.github/workflows/build-test.yml @@ -26,10 +26,10 @@ jobs: run: make dist - name: unpack - run: mkdir unpack && tar tar -C unpack -zxvf colm-suite-*.tar.gz + run: mkdir unpack && tar -C unpack -zxvf colm-suite-*.tar.gz - name: configure the dist - run: cd unpack/colm-suite-* && ./configure --with-crack=/home/thurston/pkgs/crack --disable-manual --enable-debug + run: cd unpack/colm-suite-* && ./configure --with-crack=/home/thurston/pkgs/crack --disable-manual - name: make the dist run: cd unpack/colm-suite-* && make |