From 9e818e15cd2e0b54d7ae734393062cc181169ec7 Mon Sep 17 00:00:00 2001
From: Tobias Langer <tobias.langer@oth-regensburg.de>
Date: Wed, 5 Oct 2016 13:10:01 +0200
Subject: [PATCH] Fixed pathname of target header file.

---
 generate.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/generate.py b/generate.py
index a293a18..13ae0ee 100755
--- a/generate.py
+++ b/generate.py
@@ -100,7 +100,8 @@ def main():
 
         # Add header
         print('Create header file…', file=sys.stderr)
-        create_header(args.header, experiment, experiment_dir)
+        header_path = os.path.join(experiment_dir, 'defines.h')
+        create_header(args.header, experiment, header_dir)
 
         # Add makefile & c++ file
         print('Adding Makefile…', file=sys.stderr)
--
libgit2 0.26.0