We're POSIX-compliant anyway, so use /bin/sh instead of bash

This commit is contained in:
Nils Steinger 2017-06-01 18:42:36 +02:00
parent d344d0ff16
commit 59c8b63fc0
1 changed files with 1 additions and 1 deletions

View File

@ -1,4 +1,4 @@
#!/bin/bash
#!/bin/sh
##########
# nench.sh ("new bench.sh")