Missed one time machine

Stephen Paul Weber created 3 months ago

Change summary

.builds/guix.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

Detailed changes

.builds/guix.yml

@@ -15,7 +15,7 @@ tasks:
     sed '/^;;;;$/q' sgx-jmp/guix.scm >> sgx-jmp.scm
     printf "(define-public sgx-jmp\n\t" >> sgx-jmp.scm
     cd sgx-jmp
-    printf '(load "%s/guix.scm")\n(write sgx-jmp-baked)\n' "$(pwd)" | guix repl /dev/stdin >> ../sgx-jmp.scm
+    printf '(load "%s/guix.scm")\n(write sgx-jmp-baked)\n' "$(pwd)" | guix time-machine --commit=3455a004ec78a8c8a579b74da8039fbcd36cea73 -- repl /dev/stdin >> ../sgx-jmp.scm
     cd -
     printf ")\n" >> sgx-jmp.scm
     rm -f sgx-jmp/guix.scm