diff options
author | dos-reis <gdr@axiomatics.org> | 2012-08-20 15:34:44 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2012-08-20 15:34:44 +0000 |
commit | 9d2967000ee40227f9120c256f47fbc5f55183cd (patch) | |
tree | 7354eb2157063191842b099f68b0589a9b75e9ac /src/ChangeLog | |
parent | cb1bbfc4996f10ec428bc9bdafd53eebb1205258 (diff) | |
download | open-axiom-9d2967000ee40227f9120c256f47fbc5f55183cd.tar.gz |
* interp/br-search.boot (getTemporaryDirectory): Search TMPDIR first.
Ensure result has a trailing slash.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 1d9fdd81..a617910b 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2012-08-20 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/br-search.boot (getTemporaryDirectory): Search TMPDIR first. + Ensure result has a trailing slash. + +2012-08-20 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/br-util.boot (htPred2English,gn): Tidy. * interp/br-search.boot (pmPreparse): Do not apply pmPreparse,hn. Tidy. |