# HG changeset patch # User kleing # Date 1052210837 -7200 # Node ID bfca18e9ab72a698ef092b5c2845bc001dac5f33 # Parent ba7aa8c426ad95a3b7515363a2fa8ec951bf5fdd fixed missing -g true for HOL-Auth diff -r ba7aa8c426ad -r bfca18e9ab72 src/HOL/IsaMakefile --- a/src/HOL/IsaMakefile Tue May 06 10:40:43 2003 +0200 +++ b/src/HOL/IsaMakefile Tue May 06 10:47:17 2003 +0200 @@ -383,7 +383,7 @@ Auth/Guard/NS_Public.thy Auth/Guard/OtwayRees.thy \ Auth/Guard/P1.thy Auth/Guard/P2.thy \ Auth/Guard/Proto.thy Auth/Guard/Yahalom.thy - @$(ISATOOL) usedir $(OUT)/HOL Auth + @$(ISATOOL) usedir -g true $(OUT)/HOL Auth ## HOL-UNITY