diff options
| author | P. J. McDermott <pj@pehjota.net> | 2015-12-06 23:21:46 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2015-12-06 23:21:46 (EST) |
| commit | 79aa706378df397726689922e98dab4832f032ad (patch) | |
| tree | 8e0143622b7dccdf7028514ef6a31dcb85641f95 | |
| parent | 2d203aee8fa1793bfc57dd7c02a46e2d48e1d6d2 (diff) | |
lib/profile.sh: Don't use substitution macros
| -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() |