/etc/profile: fix check if /cmd/ is in $PATH
commit2bab5d1330983d41991cfe18b77e83c548472041
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 15 Oct 2007 19:47:53 +0000 (15 20:47 +0100)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 15 Oct 2007 20:13:40 +0000 (15 21:13 +0100)
treec0216a6197ddd2812ce14e606c9c3aa8bc5d55f4
parente9fc6f0497dba444faf935d14071408205f73c5c
/etc/profile: fix check if /cmd/ is in $PATH

The old check was bogus.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
etc/profile