diff options
Diffstat (limited to 'isar/isar-profiling.el')
-rw-r--r-- | isar/isar-profiling.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar-profiling.el b/isar/isar-profiling.el index 8984f1b0..101d04ee 100644 --- a/isar/isar-profiling.el +++ b/isar/isar-profiling.el @@ -19,7 +19,7 @@ (require 'pg-autotest) (require 'pg-dev) -(unless noninteractive +(unless (bound-and-true-p byte-compile-current-file) (pg-autotest log ".profile.log") ; convention |