From 32de1548d435009fc086fc65cffae0b97ab29720 Mon Sep 17 00:00:00 2001
From: "Silas S. Brown" <ssb22@cam.ac.uk>
Date: Thu, 1 Apr 2010 12:20:51 +0000
Subject: [PATCH] Gradint update
git-svn-id: http://svn.code.sf.net/p/e-guidedog/code/ssb22/gradint@679 29193198-4895-4776-b068-10539e920549
---
gradint-build/src/synth.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gradint-build/src/synth.py b/gradint-build/src/synth.py
index 6f7bcc0..919bbc7 100644
--- a/gradint-build/src/synth.py
+++ b/gradint-build/src/synth.py
@@ -993,7 +993,7 @@ def just_synthesize(callSanityCheck=0,lastLang_override=None):
show_warning("Can't say %s in %s" % (repr(text),repr(lang)))
lastLanguage=lang ; continue
# otherwise, user might have omitted lang by mistake
- show_warning("Assuming that %s was meant to be synthesized in language '%s'" % (repr(line),lastLanguage))
+ show_warning("Assuming %s was meant to be synthesized in language '%s'" % (cond("#" in justSynthesize or len(repr(line))<10,"that '"+repr(line)+"'","this line"),lastLanguage))
if callSanityCheck and sanityCheck(line,lastLanguage,1): return
event = checkCanSynth("!synth:"+line+"_"+lastLanguage)
else:
--
GitLab