From 67770b4224a3787e84b20ff9c74de79712620453 Mon Sep 17 00:00:00 2001 From: Lars-Dominik Braun Date: Sat, 22 Aug 2020 12:15:12 +0200 Subject: actions: Fix CI --- gen.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gen.sh') 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 -- cgit v1.2.3