aboutsummaryrefslogtreecommitdiff
path: root/.file-metadata
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-04-07 23:50:32 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-04-07 23:50:32 +0100
commit95244a0891bf9068d0e2fb22f42db234c46d8179 (patch)
tree40e8bf610c62292a7e20c6baed01b1c7ae80672f /.file-metadata
parenta44c029775f512d8b92cabed7585b74d002435be (diff)
Configure script using our build programs in final steps
In order to get a consistent final result, in its later steps, the configure script uses our own build of the basic command-line tools (like `cat', `awk'). Also, a correction was made to the short option parsing errors when an unwanted argument is given, and the `-?*' was changed to `-'?'*' to avoid un-necessary shell interpretation (for example giving unreasonable results).
Diffstat (limited to '.file-metadata')
-rw-r--r--.file-metadatabin4793 -> 4789 bytes
1 files changed, 0 insertions, 0 deletions
diff --git a/.file-metadata b/.file-metadata
index 4678426..045a6f0 100644
--- a/.file-metadata
+++ b/.file-metadata
Binary files differ