aboutsummaryrefslogtreecommitdiff
path: root/INSTALL.md
diff options
context:
space:
mode:
authorPjotr Prins2018-09-18 10:55:35 +0000
committerPjotr Prins2018-09-18 10:55:35 +0000
commit73f7789743b50eca42d8ba7b95f0654ccd1825bf (patch)
tree984b64d0a4390cb2668ad9b54acf49f2386bdb77 /INSTALL.md
parent1f1c6c35f7e53f5108b94429b001ed0aee2f4d36 (diff)
downloadpangemma-73f7789743b50eca42d8ba7b95f0654ccd1825bf.tar.gz
Profiling
Diffstat (limited to 'INSTALL.md')
-rw-r--r--INSTALL.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/INSTALL.md b/INSTALL.md
index 9b10339..1231147 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -187,6 +187,7 @@ The gcc version has profiling support, run with
make PROFILING=1
+
### OpenBlas
Linking against a built-from-source OpenBlas is a first optimization