From 5bc7c861b66460fbfed86eb324bc9ab5f15a07b3 Mon Sep 17 00:00:00 2001 From: Avery Pennarun Date: Tue, 4 Dec 2018 02:52:23 -0500 Subject: [PATCH] minimal/do: use "#!/usr/bin/env sh" instead of "#!/bin/sh" This way you can force it to use redo-sh, so that it can pass shelltest.od. --- minimal/do | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/minimal/do b/minimal/do index a11fce2..16bb045 100755 --- a/minimal/do +++ b/minimal/do @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env sh # # A minimal alternative to djb redo that doesn't support incremental builds. # For the full version, visit http://github.com/apenwarr/redo