Lines Matching refs:DIRECTORY
16 # Cleanup temp directory and ensure all child jobs are dead-dead.
28 if [ -f "$DIRECTORY" ]; then
29 echo -n "Removing temp directory $DIRECTORY..."
30 rm -rf $DIRECTORY
47 gdb -batch "$file" -ex "save gdb-index $DIRECTORY" -ex "quit"
48 local index_file="$DIRECTORY/$basename.gdb-index"
100 # We're good to go! Create temp directory for index files.
101 DIRECTORY=$(mktemp -d)
102 echo "Made temp directory $DIRECTORY."
