2004-05-04 12:15:30 +00:00
|
|
|
echo "PATH=$PATH"
|
|
|
|
|
|
|
|
# Verify that the PATH is empty.
|
|
|
|
if mkdir foo; then exit 1; fi
|
|
|
|
|
|
|
|
# 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
|
|
|
|
|
|
|
|
echo "Hello World!" > $out/hello
|