diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2024-03-06 10:24:46 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2024-03-06 10:24:46 +0100 |
| commit | 372a0e99c2f61543d9e14d9933b59d9d1f4cb26e (patch) | |
| tree | bbadf39aed0610c8f8f7b41fefff47773b8ac205 /build-0.3/run-if-arg | |
| parent | 23d41842168ac1a1580111b9c5c73500ceee3d57 (diff) | |
| parent | 4538829ab86b5a1cd4e845e7eab165029c9d6d46 (diff) | |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'build-0.3/run-if-arg')
| -rwxr-xr-x | build-0.3/run-if-arg | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/build-0.3/run-if-arg b/build-0.3/run-if-arg deleted file mode 100755 index 1076b46..0000000 --- a/build-0.3/run-if-arg +++ /dev/null @@ -1,17 +0,0 @@ -#! /usr/bin/env bash - -# file : build/run-if-arg -# copyright : Copyright (c) 2004-2012 Code Synthesis Tools CC -# license : GNU GPL v2; see accompanying LICENSE file - -# Run command if there are any non-empty arguments. -# -# $1 command to execute -# $2 argument to test - -cmd=$1 -shift - -if [ "$*" ]; then - exec $cmd $* -fi |