new ARM makefiles, also some doc tweaks

2018-06-29 08:06:51 -06:00
parent ad3d049edd
commit ec99b0957c
8 changed files with 495 additions and 16 deletions
--- a/src/dump_custom.cpp
+++ b/src/dump_custom.cpp
@ -244,7 +244,7 @@ DumpCustom::~DumpCustom()
  for (int i = 1; i <= ntypes; i++) delete [] typenames[i];
  delete [] typenames;

-  if(vformat) {
+  if (vformat) {
    for (int i = 0; i < size_one; i++) delete [] vformat[i];
    delete [] vformat;
  }