Script: lock Purpose: Locks compile for GIPSY manager. Category: SYSTEM MANAGEMENT File: lock.csh Author: K.G. Begeman Use: $gip_sys/lock.csh Updates: Dec 9, 1991: KGB, document created.