Switch to BASH

To make use of pushd/popd
artem · Aug 1, 2018 · 013e0b5 · 013e0b5
1 parent 846e97e
commit 013e0b5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/make.sh b/make.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 
 pushd () {
     command pushd "$@" > /dev/null