diff options
| author | EuAndreh <eu@euandre.org> | 2021-02-17 00:51:27 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-02-17 00:51:27 -0300 |
| commit | 56d29ecb65f2a64e6e9a93d6de2ebf12d7c45b75 (patch) | |
| tree | 7619c55717652f865c7bebe35c0adb58af0a1d24 /aux/ci/ci-build.sh | |
| parent | TODOs.md: Add #task-98a68a93-1294-4283-a78f-9b7f1150c729 (diff) | |
| download | euandre.org-56d29ecb65f2a64e6e9a93d6de2ebf12d7c45b75.tar.gz euandre.org-56d29ecb65f2a64e6e9a93d6de2ebf12d7c45b75.tar.xz | |
Update aux/ files
Diffstat (limited to '')
| -rwxr-xr-x | aux/ci/ci-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh index 81ee1fd..acbc394 100755 --- a/aux/ci/ci-build.sh +++ b/aux/ci/ci-build.sh @@ -42,7 +42,7 @@ EOF fi if [ -f ./configure ]; then - COMMAND='./configure && make clean check public' + COMMAND='./configure && make CC=cc clean check public' else COMMAND='make CC=cc clean check public' fi |