From 70dfbc54d9a6b559dbfcfd6105a7e8c80d78d888 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Sun, 26 Feb 2017 00:28:18 -0500
Subject: Fix incorrect assumption that noninteractive == byte-compiling

The PG Makefile does ensure (using --batch) that noninteractive is non-nil while
compiling, but package.el doesn't.
---
 hol-light/hol-light-autotest.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'hol-light')

diff --git a/hol-light/hol-light-autotest.el b/hol-light/hol-light-autotest.el
index 20c16727..b9924c41 100644
--- a/hol-light/hol-light-autotest.el
+++ b/hol-light/hol-light-autotest.el
@@ -8,14 +8,14 @@
 (eval-when-compile
   (require 'cl))
 
-(eval-when (compile)
+(eval-when-compile
   (require 'proof-site)
   (proof-ready-for-assistant 'coq)
   (defvar coq-compile-before-require nil))
 
 (require 'pg-autotest)
 
-(unless noninteractive
+(unless (bound-and-true-p byte-compile-current-file)
   
   (pg-autotest start 'debug)
   (pg-autotest log ".autotest.log")  ; convention
-- 
cgit v1.2.3