changeset 88:f3103f125c2d dml-dockerised

interpreter
author wolffd <wolffd.mail@googlemail.com>
date Tue, 05 Jun 2018 16:22:27 +0100
parents 3b9d5b99895e
children 90f57b07f941
files etc/setup_as_dml.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/etc/setup_as_dml.sh	Tue Jun 05 16:19:05 2018 +0100
+++ b/etc/setup_as_dml.sh	Tue Jun 05 16:22:27 2018 +0100
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # ------------------ CONFIG ----------------
 
 INSTALL_SWI=no