diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:49:16 -0700 | 
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:49:16 -0700 | 
| commit | 8cf576367bfe1993a80ac8cf69a6624bf67a3f11 (patch) | |
| tree | ee63bf80b305bb469296fb190711b03e33d2c0ad /.github/workflows | |
| parent | 314b5a1ee2e0a14ced48cc15591f5725c080547f (diff) | |
Revert "Revert "CI: avoid using nmake.bat.""
This reverts commit 745b877835fed47e06daa3295aaf86312867f6f1.
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 3 | 
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 07b44d0..a556498 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -40,6 +40,5 @@ jobs:      - uses: actions/checkout@v1      - name: Build and test        run: | -        nmake test +        nmake.exe /nologo /f Makefile.nmake test        shell: cmd -  | 
