|
|
|
@ -1,18 +1,18 @@
|
|
|
|
|
Index: src/makefile
|
|
|
|
|
--- src/makefile.orig 2017-08-05 08:35:27.982964000 +0200
|
|
|
|
|
+++ src/makefile 2017-08-05 08:42:46.228422000 +0200
|
|
|
|
|
@@ -6,7 +6,7 @@
|
|
|
|
|
CC=g++
|
|
|
|
|
--- src/makefile.orig 2018-10-14 10:49:22.986302000 +0200
|
|
|
|
|
+++ src/makefile 2018-10-14 10:51:21.882148000 +0200
|
|
|
|
|
@@ -8,7 +8,7 @@
|
|
|
|
|
#CC=clang++
|
|
|
|
|
|
|
|
|
|
# Added -std=c++11 because of auto_ptr to unique_ptr transition
|
|
|
|
|
-CXXFLAGS= -Wall -O2 -DNDEBUG -std=c++11 -fPIC
|
|
|
|
|
+CXXFLAGS= -O2 -DNDEBUG -std=c++11 -fPIC
|
|
|
|
|
|
|
|
|
|
LDFLAGS=
|
|
|
|
|
|
|
|
|
|
#CXXFLAGS= -O0 -ggdb -std=c++11 -fPIC
|
|
|
|
|
#CXXFLAGS="-DNDEBUG -g2 -O3 -march=i686"
|
|
|
|
|
#cov-build --dir cov-int make -j 2
|
|
|
|
|
Index: src/rtfgenerator.cpp
|
|
|
|
|
--- src/rtfgenerator.cpp.orig 2017-08-03 21:39:37.000000000 +0200
|
|
|
|
|
+++ src/rtfgenerator.cpp 2017-08-05 08:35:27.983372000 +0200
|
|
|
|
|
--- src/rtfgenerator.cpp.orig 2018-10-12 22:04:07.000000000 +0200
|
|
|
|
|
+++ src/rtfgenerator.cpp 2018-10-14 10:49:22.986711000 +0200
|
|
|
|
|
@@ -29,6 +29,14 @@
|
|
|
|
|
#include "rtfgenerator.h"
|
|
|
|
|
#include "stylecolour.h"
|
|
|
|
|