diff options
Diffstat (limited to 'default.o.do')
-rwxr-xr-x | default.o.do | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/default.o.do b/default.o.do index 88fe853..2a21e84 100755 --- a/default.o.do +++ b/default.o.do @@ -1,4 +1,5 @@ -#!/bin/bash -e +#!/usr/bin/env bash +set -e redo-ifchg-pipe() { tr '\n' '\0' | xargs -r0 redo-ifchange; } src=${1%.o}.c redo-ifchange .compile .parse-deps "$src" |