2004-05-04 12:15:30 +00:00
|
|
|
echo "PATH=$PATH"
|
|
|
|
|
|
|
|
# Verify that the PATH is empty.
|
2007-08-13 13:15:02 +00:00
|
|
|
if mkdir foo 2> /dev/null; then exit 1; fi
|
2004-05-04 12:15:30 +00:00
|
|
|
|
|
|
|
# Set a PATH (!!! impure).
|
2006-07-21 13:21:43 +00:00
|
|
|
export PATH=$goodPath
|
2004-05-04 12:15:30 +00:00
|
|
|
|
|
|
|
mkdir $out
|
|
|
|
|
2024-03-27 17:16:16 +00:00
|
|
|
echo "Hello World!" > $out/hello
|