several fixes on certificate profiles

[nre.git] / all.sh

diff --git a/all.sh b/all.sh
index 8d647a898a37f5f5ebed4e94d4d993bb9b693fa3..eb2dfeccf074a0d8ea349db45dfdbd0d0d92a6a7 100755 (executable)
--- a/all.sh
+++ b/all.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 . ./clear.sh