diff options
author | bloodstalker <thabogre@gmail.com> | 2018-09-10 12:53:36 +0000 |
---|---|---|
committer | bloodstalker <thabogre@gmail.com> | 2018-09-10 12:53:36 +0000 |
commit | 304288a5bc894023df2927af96fc2847bc2836d4 (patch) | |
tree | 61adca3a78097c353747dbdb6b5b8e87be2be590 /main.py | |
parent | update (diff) | |
download | faultreiber-304288a5bc894023df2927af96fc2847bc2836d4.tar.gz faultreiber-304288a5bc894023df2927af96fc2847bc2836d4.zip |
update
Diffstat (limited to 'main.py')
-rwxr-xr-x | main.py | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -9,6 +9,7 @@ import readline from shutil import copy import signal import sys +import os from text import text import datetime import xml.etree.ElementTree @@ -192,7 +193,11 @@ class C_Obj(): self.malloc = str self.ancestry = ancestry +def get_script_path(): + return os.path.dirname(os.path.realpath(sys.argv[0])) + def dupemake(path, main_name): + os.chdir(get_script_path()) copy("./resources/makefile", path) makefile_path = get_full_path(path, "makefile") for line in fileinput.input(makefile_path, inplace=True): |