diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-06-02 17:13:10 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-06-02 17:13:10 +0100 |
commit | 0bff53119f08d677db6c1a991bd30741682a8a08 (patch) | |
tree | 6ec8d4c38152bb4f2bb4b93277236ebd9fbbd21d /eclass/gnatbuild.eclass | |
parent | 6c14fa2586d9e9c4427b5f727dc6c8ab77587cec (diff) |
Revert "gentoo resync : 02.06.2018"
This reverts commit 6c14fa2586d9e9c4427b5f727dc6c8ab77587cec.
Diffstat (limited to 'eclass/gnatbuild.eclass')
-rw-r--r-- | eclass/gnatbuild.eclass | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/eclass/gnatbuild.eclass b/eclass/gnatbuild.eclass index da72f554439d..5d485c9338ca 100644 --- a/eclass/gnatbuild.eclass +++ b/eclass/gnatbuild.eclass @@ -237,6 +237,7 @@ should_we_eselect_gnat() { echo elog "eselect gnat set <profile>" echo + ebeep return 1 fi } |