Merge branch 'master' into improved-benchmark

This commit is contained in:
Ethan P authored and GitHub committed 2021-01-02 21:35:58 -08:00
commit 1b549ecc66
244 files changed
+13830 -1340

No files matched your search

+2 -2
View File
@@ -1,8 +1,8 @@
#!/usr/bin/env bash
cd "$(dirname "${BASH_SOURCE[0]}")"
cd "$(dirname "${BASH_SOURCE[0]}")" || exit
if ! which hyperfine > /dev/null 2>&1; then
if ! command -v hyperfine > /dev/null 2>&1; then
echo "'hyperfine' does not seem to be installed."
echo "You can get it here: https://github.com/sharkdp/hyperfine"
exit 1
+4 -4
View File
@@ -1,10 +1,10 @@
#!/usr/bin/env bash
cd "$(dirname "${BASH_SOURCE[0]}")"
cd "$(dirname "${BASH_SOURCE[0]}")" || exit
# Check that Hyperfine is installed.
if ! which hyperfine > /dev/null 2>&1; then
echo "'hyperfine' does not seem to be installed." 1>&2
echo "You can get it here: https://github.com/sharkdp/hyperfine" 1>&2
if ! command -v hyperfine > /dev/null 2>&1; then
echo "'hyperfine' does not seem to be installed."
echo "You can get it here: https://github.com/sharkdp/hyperfine"
exit 1
fi