Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 06:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Script fix for Linux.

Browse source
This commit is contained in:
Robin Sommer 2012-07-22 21:04:59 -07:00
parent 775961ee15
commit f2e60a76a8
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
testing/scripts/diff-remove-timestamps
View file

@ -4,7 +4,7 @@
# Get us "modern" regexps with sed.
if [ `uname` == "Linux" ]; then
sed="sed"
sed="sed -r"
else
sed="sed -E"
fi