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-01 22:56:56 +0100 |
| commit | 10db604da9567d12f60504c7456b51edc81e0a8b (patch) | |
| tree | 1f158d5a581355057e73f3ad8370f40c5e86ef5b /redhat/build/is_rpm_built.sh | |
| parent | 7e100357a2add8c5b5fb5f93d24dca9dd46cc2d9 (diff) | |
| download | tde-packaging-10db604da9567d12f60504c7456b51edc81e0a8b.tar.gz tde-packaging-10db604da9567d12f60504c7456b51edc81e0a8b.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) |