2004-05-04 14:15:30 +02:00
|
|
|
echo "PATH=$PATH"
|
|
|
|
|
|
|
|
# Verify that the PATH is empty.
|
|
|
|
if mkdir foo; then exit 1; fi
|
|
|
|
|
|
|
|
# Set a PATH (!!! impure).
|
2006-07-21 15:21:43 +02:00
|
|
|
export PATH=$goodPath
|
2004-05-04 14:15:30 +02:00
|
|
|
|
|
|
|
mkdir $out
|
|
|
|
|
|
|
|
echo "Hello World!" > $out/hello
|