diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/profile.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/profile.sh b/lib/profile.sh index 7151f56..f64a0d8 100644 --- a/lib/profile.sh +++ b/lib/profile.sh @@ -18,8 +18,6 @@ # along with the ProteanOS Development Kit. If not, see # <http://www.gnu.org/licenses/>. -PROFILES=' @profiles@ ' - profiles=' ' profile= @@ -36,7 +34,7 @@ is_profile() { local prof="${1}" - [ "x${PROFILES# ${prof} }" != "x${PROFILES}" ] + [ "x${profiles# ${prof} }" != "x${profiles}" ] } profile_set() |