[ci] fix eva gen-api.sh

cc60c8f7 · Allan Blanchard · bc0694ce · cc60c8f7
Commit cc60c8f7 authored 2 years ago by Allan Blanchard
--- a/nix/frama-c.nix
+++ b/nix/frama-c.nix
@@ -84,6 +84,8 @@ stdenvNoCC.mkDerivation rec {

  preConfigure = ''
    autoconf
+    patchShebangs src/plugins/value/gen-api.sh
+    chmod +x src/plugins/value/gen-api.sh
  '';

  # Do not use default parallel building, but allow 2 cores for Frama-C build