STYLE: adjustments for code integration

- adjust contributor names to include windows port

BUG: bash script marked as sh (fixes #1890)
This commit is contained in:
Mark Olesen
2020-10-22 12:29:54 +02:00
parent d8525f1746
commit 4f84aa5362
10 changed files with 67 additions and 176 deletions

View File

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
cd "${0%/*}" || exit # Run from this directory
. ${WM_PROJECT_DIR:?}/bin/tools/RunFunctions # Tutorial run functions
. ${WM_PROJECT_DIR:?}/bin/tools/CleanFunctions # Tutorial clean functions