r1027: renamed hifi to map-hifi; changed default

This commit is contained in:
Heng Li
2021-05-01 15:22:51 -04:00
parent 7edeec67b0
commit e8823a3709
3 changed files with 11 additions and 4 deletions
+1 -1
View File
@@ -7,7 +7,7 @@
#include "mmpriv.h"
#include "ketopt.h"
#define MM_VERSION "2.18-r1026-dirty"
#define MM_VERSION "2.18-r1027-dirty"
#ifdef __linux__
#include <sys/resource.h>