From d3c00ca2c3feb9fcf5baef160825ab7c1025e2c4 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Sat, 16 May 2020 14:12:16 -0700 Subject: [PATCH] change mode to executable to some py files Signed-off-by: Lev Nachmanson --- scripts/mk_consts_files.py | 0 scripts/mk_def_file.py | 0 scripts/mk_gparams_register_modules_cpp.py | 0 scripts/mk_install_tactic_cpp.py | 0 scripts/mk_mem_initializer_cpp.py | 0 scripts/mk_pat_db.py | 0 scripts/pyg2hpp.py | 0 scripts/update_api.py | 0 8 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 scripts/mk_consts_files.py mode change 100644 => 100755 scripts/mk_def_file.py mode change 100644 => 100755 scripts/mk_gparams_register_modules_cpp.py mode change 100644 => 100755 scripts/mk_install_tactic_cpp.py mode change 100644 => 100755 scripts/mk_mem_initializer_cpp.py mode change 100644 => 100755 scripts/mk_pat_db.py mode change 100644 => 100755 scripts/pyg2hpp.py mode change 100644 => 100755 scripts/update_api.py diff --git a/scripts/mk_consts_files.py b/scripts/mk_consts_files.py old mode 100644 new mode 100755 diff --git a/scripts/mk_def_file.py b/scripts/mk_def_file.py old mode 100644 new mode 100755 diff --git a/scripts/mk_gparams_register_modules_cpp.py b/scripts/mk_gparams_register_modules_cpp.py old mode 100644 new mode 100755 diff --git a/scripts/mk_install_tactic_cpp.py b/scripts/mk_install_tactic_cpp.py old mode 100644 new mode 100755 diff --git a/scripts/mk_mem_initializer_cpp.py b/scripts/mk_mem_initializer_cpp.py old mode 100644 new mode 100755 diff --git a/scripts/mk_pat_db.py b/scripts/mk_pat_db.py old mode 100644 new mode 100755 diff --git a/scripts/pyg2hpp.py b/scripts/pyg2hpp.py old mode 100644 new mode 100755 diff --git a/scripts/update_api.py b/scripts/update_api.py old mode 100644 new mode 100755