From 588f39c350ae6825bdd130231fe15ea86ee1c7c9 Mon Sep 17 00:00:00 2001
From: "Silas S. Brown" <ssb22@cam.ac.uk>
Date: Sat, 16 Jan 2021 08:20:57 +0000
Subject: [PATCH] comment
---
gradint-build/src/Makefile | 5 ++---
gradint-build/src/frontend.py | 1 +
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/gradint-build/src/Makefile b/gradint-build/src/Makefile
index 6f49d29..1b814ec 100644
--- a/gradint-build/src/Makefile
+++ b/gradint-build/src/Makefile
@@ -1,3 +1,2 @@
-all:
- echo "Please run 'make' in the directory above, not here."
- exit 1
+../gradint.py:
+ make -C .. gradint.py
diff --git a/gradint-build/src/frontend.py b/gradint-build/src/frontend.py
index fbea111..2043ef5 100644
--- a/gradint-build/src/frontend.py
+++ b/gradint-build/src/frontend.py
@@ -1838,6 +1838,7 @@ def gui_outputTo_end(openDir=True):
# NB we're passing this to cmd, NOT bash:
cmd = "cscript \""+pFiles+"\\Windows Media Components\\Encoder\\WMCmd.vbs\" -input \""+o+"\" -output \""+f+"\" -profile a20_1 -a_content 1"
elif t=="aac": cmd="afconvert \""+o+"\" -d aac \""+f+"\"" # could also use "afconvert file.wav -d samr file.amr", but amr is bigger than aac and not as good; don't know if anyone has a device that plays amr but not aac.
+ # afconvert default is 64kbit AAC. if want 96+ for music, use -b 96000 after the -d aac (and if want iTunes to be able to accept it, specify extension mp4 instead of aac to afconvert; do not rename aac to mp4, but tell afconvert it's mp4)
else: assert 0
if cygwin:
assert not "'" in cmd, "apostrophes in pathnames could cause trouble on cygwin"
--
GitLab