summaryrefslogtreecommitdiff
path: root/trip.rc
diff options
context:
space:
mode:
authortjg <tjg>2001-10-31 12:30:00 +0000
committerToby Goodwin <toby@paccrat.org>2015-05-16 21:23:20 +0100
commitaea9f2fdebb7daf2c0b16af9430bb05a07ab86b1 (patch)
treea9f311aeb846c8872ba9186db6a30f9431a989cd /trip.rc
parentdca1eabff1b5fd37367a5921153c51a694063bcb (diff)
Feature: large file support (thanks Scott Schwartz, Chris
Siebenmann).
Diffstat (limited to 'trip.rc')
-rw-r--r--trip.rc12
1 files changed, 12 insertions, 0 deletions
diff --git a/trip.rc b/trip.rc
index 20e7624..b8e7e58 100644
--- a/trip.rc
+++ b/trip.rc
@@ -586,3 +586,15 @@ eval z^`{whatis -v x}
fn x {echo x.y $(x.y)}
~ ``''{whatis -f x} 'fn x {echo x.y $''x.y''}
' || fail sneaky parens bug
+
+# large file support
+
+# this is, by no means, an exhaustive test. since particular file
+# systems do, or do not, support large files, we try it both in the
+# build directory and /tmp.
+
+if (./tripping l > big.$pid >[2] /dev/null ||
+ ./tripping l > /tmp/big.$pid >[2] /dev/null) {
+ echo large file support seems to work
+} else echo large file support seems NOT to work - see INSTALL file
+rm -f big.$pid /tmp/big.$pid