diff options
| author | François Andriot <albator78@libertysurf.fr> | 2019-01-01 22:56:56 +0100 |
|---|---|---|
| committer | François Andriot <albator78@libertysurf.fr> | 2019-01-03 22:07:51 +0100 |
| commit | d036de9c62c1a4e74663a038fe6f1b31f6323375 (patch) | |
| tree | 47e49e1123855239eefd6fac3b9d60e7a21b65a9 /redhat/build/is_rpm_built.sh | |
| parent | 8fb1b9251ac496f0a557118003d90018cac34b56 (diff) | |
| download | tde-packaging-d036de9c62c1a4e74663a038fe6f1b31f6323375.tar.gz tde-packaging-d036de9c62c1a4e74663a038fe6f1b31f6323375.zip | |
RPM: update build scripts
Diffstat (limited to 'redhat/build/is_rpm_built.sh')
| -rwxr-xr-x | redhat/build/is_rpm_built.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/redhat/build/is_rpm_built.sh b/redhat/build/is_rpm_built.sh deleted file mode 100755 index 5cd4b0595..000000000 --- a/redhat/build/is_rpm_built.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash -x - -RPMDIR=$(rpm -E %_rpmdir) |