From 1aaa18e1659b7ae6a584288b379a866f3fb26e86 Mon Sep 17 00:00:00 2001 From: Patrick Baudin <patrick.baudin@cea.fr> Date: Mon, 18 Dec 2017 15:17:55 +0100 Subject: [PATCH] [headers] move '#!/bin/..' line as the first line --- src/plugins/e-acsl/scripts/e-acsl-gcc.sh | 3 +-- src/plugins/e-acsl/scripts/testrun.sh | 3 +-- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh index 64894155306..31dc22c1fc6 100755 --- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh +++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh @@ -1,3 +1,4 @@ +#!/bin/sh -e ########################################################################## # # # This file is part of Frama-C. # @@ -20,8 +21,6 @@ # # ########################################################################## -#!/bin/sh -e - # Convenience wrapper for small runs of E-ACSL Frama-C plugin # Print a message to STDERR and exit. If the second argument (exit code) diff --git a/src/plugins/e-acsl/scripts/testrun.sh b/src/plugins/e-acsl/scripts/testrun.sh index 453552c1cfd..be44c99c789 100755 --- a/src/plugins/e-acsl/scripts/testrun.sh +++ b/src/plugins/e-acsl/scripts/testrun.sh @@ -1,3 +1,4 @@ +#!/bin/sh -e ########################################################################## # # # This file is part of Frama-C. # @@ -20,8 +21,6 @@ # # ########################################################################## -#!/bin/sh -e - # Convenience script for running tests with E-ACSL. Given a source file the # sequence is as follows: # 1. Instrument and compile a given source file with `e-acsl-gcc.sh` -- GitLab