diff options
author | Andres Erbsen <andreser@mit.edu> | 2017-07-05 13:30:59 -0400 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2017-07-05 13:30:59 -0400 |
commit | 770be2b1190f7533a6a5201d007dabc3be0cf9da (patch) | |
tree | 37c4b5fc646ac72e5d2cf1cd057852f815248f24 /etc | |
parent | 42d54f5f0074a9087c35b3695e2e3fafe1cf8f90 (diff) |
s/bash/sh
Diffstat (limited to 'etc')
-rwxr-xr-x | etc/hyperthreading.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/hyperthreading.sh b/etc/hyperthreading.sh index 82603c5a3..977942965 100755 --- a/etc/hyperthreading.sh +++ b/etc/hyperthreading.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh set -eu case $1 in |