From: Giuseppe Lettieri <g.lettieri@iet.unipi.it>
Date: Fri, 23 Nov 2012 12:58:53 +0000 (+0100)
Subject: set SHELL=/bin/bash, the only shell we have tested
X-Git-Tag: sliver-openvswitch-1.8.90-6~1
X-Git-Url: http://git.onelab.eu/?p=sliver-openvswitch.git;a=commitdiff_plain;h=c9409e7744fbdbb8d8f0a7a04214b680a0360c89

set SHELL=/bin/bash, the only shell we have tested
---

diff --git a/planetlab/exp-tool/Makefile b/planetlab/exp-tool/Makefile
index 32263d4d0..2ec1bc183 100644
--- a/planetlab/exp-tool/Makefile
+++ b/planetlab/exp-tool/Makefile
@@ -3,6 +3,9 @@
 # HOST_<id> and IP_<id> for all nodes involved, as well as 
 # LINKS as a list of <node_id>-<node_id> elements
 
+# should work with any shell, but we have only tested bash
+SHELL=/bin/bash
+
 # run make CONF=anotherconfig.mk if you need several configs
 
 CONF ?= conf.mk