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 | |
| 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 'aux')
| -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"))))) |