summaryrefslogtreecommitdiff
path: root/muse
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2012-10-19 03:04:44 -0400
committerOri Bernstein <ori@eigenstate.org>2012-10-19 03:04:44 -0400
commit43149c34053a8ba8320d2b021ca6d6ba86601985 (patch)
tree9b14eeffda34a5300e1c3888f6910f015c3a8d83 /muse
parent6af02a3600c74a974bfdcec12ead515a611a0234 (diff)
downloadmc-43149c34053a8ba8320d2b021ca6d6ba86601985.tar.gz
Search default system include path last.
We used to search the system include path before any user specified ones. This doesn't allow us to override the system libraries. Fix the search order.
Diffstat (limited to 'muse')
-rw-r--r--muse/muse.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/muse/muse.c b/muse/muse.c
index b586641..77fdb99 100644
--- a/muse/muse.c
+++ b/muse/muse.c
@@ -89,7 +89,6 @@ int main(int argc, char **argv)
int opt;
int i;
- lappend(&incpaths, &nincpaths, Instroot "/lib/myr");
while ((opt = getopt(argc, argv, "d::hmo:I:")) != -1) {
switch (opt) {
case 'h':
@@ -117,6 +116,7 @@ int main(int argc, char **argv)
}
}
+ lappend(&incpaths, &nincpaths, Instroot "/lib/myr");
if (merge) {
if (!outfile) {
fprintf(stderr, "Output file needed when merging usefiles.");