diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2024-03-06 10:24:11 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2024-03-06 10:24:11 +0100 |
| commit | 4538829ab86b5a1cd4e845e7eab165029c9d6d46 (patch) | |
| tree | bbadf39aed0610c8f8f7b41fefff47773b8ac205 /build-0.3/run-if-arg | |
| parent | 23d41842168ac1a1580111b9c5c73500ceee3d57 (diff) | |
| parent | aad5ad9bf0c02aa4e79bc6b7d6c934612fff4026 (diff) | |
Update upstream source from tag 'upstream/4.2.0'
Update to upstream version '4.2.0'
with Debian dir 1b38df7bbcf313223de3c50107ac0255090fe647
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 |