#1711: Warn about removing build_dir
-+---
Reporter: pierre | Owner: pierre
Type: enhancement | Status: assigned
Priority: normal | Milestone: 3.0
Component: jhalfs | Version: SVN
Severity: normal
Author: pierre
Date: Wed Nov 1 07:40:53 2017
New Revision: 4014
Log:
Warn before cleaning BUILDDIR; see #1711
Modified:
jhalfs/trunk/common/common-functions
Modified: jhalfs/trunk/common/common-functions
==
--- jhalf
Author: pierre
Date: Wed Nov 1 07:39:34 2017
New Revision: 4012
Log:
No need for $() in if command
Modified:
jhalfs/trunk/common/common-functions
Modified: jhalfs/trunk/common/common-functions
==
--- jhalfs/trunk/com
#1711: Warn about removing build_dir
-+-
Reporter: pierre | Owner: pierre
Type: enhancement | Status: closed
Priority: normal | Milestone: 3.0
Component: jhalfs | Version: SVN
Severity: normal |
Author: pierre
Date: Wed Nov 1 07:40:09 2017
New Revision: 4013
Log:
Missing word in a comment
Modified:
jhalfs/trunk/common/common-functions
Modified: jhalfs/trunk/common/common-functions
==
--- jhalfs/trunk/common/