summaryrefslogtreecommitdiff
path: root/gen.sh
diff options
context:
space:
mode:
Diffstat (limited to 'gen.sh')
-rwxr-xr-xgen.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/gen.sh b/gen.sh
index 2bf35a0..2880a00 100755
--- a/gen.sh
+++ b/gen.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
# Generate build.ninja that builds the docs/stats/…
corpusdir=corpus