diff options
Diffstat (limited to 'usr/src/tools/env/developer.sh')
| -rw-r--r-- | usr/src/tools/env/developer.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/usr/src/tools/env/developer.sh b/usr/src/tools/env/developer.sh index 988c11c98b..6f7017aeec 100644 --- a/usr/src/tools/env/developer.sh +++ b/usr/src/tools/env/developer.sh @@ -74,8 +74,7 @@ MAILTO=$STAFFER; export MAILTO # specified, the build is simply run in a new task in the current project. BUILD_PROJECT=; export BUILD_PROJECT -# You should not need to change the next four lines -LOCKNAME="`basename $CODEMGR_WS`_nightly.lock"; export LOCKNAME +# You should not need to change the next three lines ATLOG="$CODEMGR_WS/log"; export ATLOG LOGFILE="$ATLOG/nightly.log"; export LOGFILE MACH=`uname -p`; export MACH |