Skip to content
Snippets Groups Projects
Commit d3db066f authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[nix] fail when creating wp-cache fails

parent ec9f25cf
No related branches found
No related tags found
No related merge requests found
...@@ -21,7 +21,10 @@ ...@@ -21,7 +21,10 @@
# # # #
########################################################################## ##########################################################################
commit="$(git ls-remote git@git.frama-c.com:frama-c/wp-cache.git HEAD | cut -f1)" commit="$(git ls-remote git@git.frama-c.com:frama-c/wp-cache.git HEAD)"
if [ $? != 0 ]; then exit 1; fi
commit=$(echo "$commit" | cut -f1)
cat >./nix/wp-cache.nix << EOL cat >./nix/wp-cache.nix << EOL
{ lib, stdenv } : { lib, stdenv } :
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment