From 4070d2cac4ef19c63999dd19ab9f84cc44a61800 Mon Sep 17 00:00:00 2001
From: Bas Weelinck <bas@weelinck.org>
Date: Fri, 1 May 2020 02:05:31 +0200
Subject: [PATCH] make_dataset.sh: Add script header.

---
 make_dataset.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/make_dataset.sh b/make_dataset.sh
index 871a6ce..ee2a6e2 100755
--- a/make_dataset.sh
+++ b/make_dataset.sh
@@ -1,3 +1,4 @@
+#!/bin/bash
 
 usage () {
     echo "$0: [-n] <source directory> <target directory>"