diff options
Diffstat (limited to '')
| -rwxr-xr-x | aux/ci/ci-build.sh | 2 | ||||
| -rw-r--r-- | aux/guix/pinned-channels.scm | 2 |
2 files changed, 2 insertions, 2 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 diff --git a/aux/guix/pinned-channels.scm b/aux/guix/pinned-channels.scm index b5d3ba8..f8269ff 100644 --- a/aux/guix/pinned-channels.scm +++ b/aux/guix/pinned-channels.scm @@ -6,6 +6,6 @@ "f2130228ed86fed81806a662ed59aa74ed2398ed") (introduction (make-channel-introduction - "3aba721da73fbdc3382cc098c41596d5cfbb29eb" + "9edb3f66fd807b096b48283debdcddccfea34bad" (openpgp-fingerprint "BBB0 2DDF 2CEA F6A8 0D1D E643 A2A0 6DF2 A33A 54FA"))))) |