1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
|
From 64fe185dafae4fec491b888d0c06de8aadcaac60 Mon Sep 17 00:00:00 2001
From: Yann Dirson <ydirson@free.fr>
Date: Tue, 9 Dec 2014 21:49:12 +0100
Subject: [PATCH] Use bash for script using pushd/popd
---
examples/bsp_bench/submitbgl.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/examples/bsp_bench/submitbgl.sh b/examples/bsp_bench/submitbgl.sh
index f8af781..e11801e 100644
--- a/examples/bsp_bench/submitbgl.sh
+++ b/examples/bsp_bench/submitbgl.sh
@@ -1,4 +1,4 @@
-#!/bin/sh -x
+#!/bin/bash -x
#Meant to be run on BG/L for evaluation of noise-estimation analysis. There we run using "Selfish" as the noise-source. Needs hacking.
numphases=10000
comptime=0
--
2.1.3
|