Make shebangs consistent

coq/extracted/patch.sh

@@ -1,3 +1,3 @@
-#!/bin/sh
+#!/usr/bin/env -S bash -euo pipefail
 patch -p0 -r 0 -s --read-only=ignore --follow-symlinks -o - $1 -i extracted/CRelationClasses.mli.patch
 

docker_entry_point.sh

@@ -1,2 +1,2 @@
-#!/bin/sh
+#!/usr/bin/env -S bash -euo pipefail
 eval `opam env` && $*

public/deploy.sh

@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env -S bash -euo pipefail
 
 ## This script deploy Cerberus UI and send it to the server
 ## PS: only works in my machine due to SSH credentials

tests/bmc/run_bmc_tests_slow.sh

@@ -1,2 +1,2 @@
-#!/bin/sh
+#!/usr/bin/env -S bash -euo pipefail
 ./run_bmc_tests.ml --check-rcu

tests/common.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env -S bash -euo pipefail
 
 # Sets the CERB and CERB_INSTALL_PREFIX variables for a given backend
 # (given in $1).

tests/csmith/small_arrays/gen.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env -S bash -euo pipefail
 
 GENOPTS="\
   --no-pointers \

tests/csmith/small_int_arith/gen.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env -S bash -euo pipefail
 
 GENOPTS="\
   --no-arrays \

tests/csmith/small_mix/gen.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env -S bash -euo pipefail
 
 GENOPTS="\
   --argc \

tests/csmith/tools/run_compare.sh

@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env -S bash -euo pipefail
 
 gtimeout 10s clang -DCSMITH_MINIMAL -I ../runtime -w -o compare.out $@ && ./compare.out
 gtimeout 30s cerberus --cpp="cc -E -nostdinc -undef -D__cerb__ -I $CERB_PATH/include/c/libc -I $CERB_PATH/include/c/posix -DCSMITH_MINIMAL -I ../runtime" --exec --batch $@

tests/gcc-torture/breakdown/run.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env -S bash -euo pipefail
 
 SUCCESS=$(git ls-files success/*.c | wc -l)
 LIMBUS=$(git ls-files limbus/*.c | wc -l)

tests/gcc-torture/run.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env -S bash -euo pipefail
 
 rm -rf tmp
 mkdir -p tmp

tests/hacl-star/build.sh

@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env -S bash -euo pipefail
 #gcc -fPIC -Wall -Wextra -Wno-parentheses -Wno-unused compact/*.c minimal/*.c -I. -Iinclude -Icompact -Iminimal -shared -olibhacl.so -Xlinker -z -Xlinker noexecstack -Xlinker --unresolved-symbols=report-all
 
 CERBERUS="../../_build/default/backend/driver/main.exe"

tests/popl/cppmem/run.sh

@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env -S bash -euo pipefail
 
 time ../../../cerbcore --impl gcc_4.9.0_x86_64-apple-darwin10.8.0 [email protected] > [email protected]
 dot -Tpdf [email protected] > [email protected]

tests/popl/section4/run.sh

@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env -S bash -euo pipefail
 
 time ../../../cerbcore --impl gcc_4.9.0_x86_64-apple-darwin10.8.0 [email protected] > [email protected]
 dot -Tpdf [email protected] > [email protected]

tests/run-cheri.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env -S bash -euo pipefail
 
 TESTSDIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
 cd ${TESTSDIR}

tests/run-ci.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env -S bash -euo pipefail
 
 TESTSDIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
 cd ${TESTSDIR}

tests/run-core.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env -S bash -euo pipefail
 # This script tests if Core pretty printer and parse coincide!
 
 function report {

tests/run-ocaml.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env -S bash -euo pipefail
 
 source tests.sh
 

tests/run.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env -S bash -euo pipefail
 
 export DYLD_LIBRARY_PATH=$DYLD_LIBRARY_PATH:`ocamlfind query z3`
 export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:`ocamlfind query z3`

tests/run_tcc.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env -S bash -euo pipefail
 
 trap ctrl_c INT
 function ctrl_c() {

tests/tests-cheri.sh

@@ -1,4 +1,4 @@
-#!/usr/bash
+#!/usr/bin/env -S bash -euo pipefail
 
 citests=(
   0001-emptymain.c

tests/tests.sh

@@ -1,4 +1,4 @@
-#!/usr/bash
+#!/usr/bin/env -S bash -euo pipefail
 
 citests=(
   0001-emptymain.c

tools/colours.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env -S bash -euo pipefail
 
 if [[ "$OSTYPE" == "linux-gnu" ]]; then
   $@

tools/hack.sh

@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env -S bash -euo pipefail
 
 for f in _lem/*.lem
 do

tools/jenkins.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env -S bash -euo pipefail
 
 export CERB_PATH=/local/jenkins/home/workspace/rems/cerberus
 export DEPPATH=$CERB_PATH/dependencies

tools/load-wg14.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env -S bash -euo pipefail
 
 #DIR=/home/jm/work/wg14
 DIR=/home/pes20/tmp/wg14

tools/mysloc

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env -S bash -euo pipefail
 echo $@
 rm -rf tmp-los/*
 cp $@  tmp-los

tools/tex.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env -S bash -euo pipefail
 
 for FILE in "$@"
 do