From 28887bb3d55991b6419ca482d3b0653871e174f8 Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Tue, 13 Jul 2021 19:39:57 -0400
Subject: [PATCH] needed to create a directory for gdb script

---
 .gitignore                                                     | 3 +++
 .../linux-testvectors/intermediate-outputs/git_create_dir.txt  | 1 +
 2 files changed, 4 insertions(+)
 create mode 100644 wally-pipelined/linux-testgen/linux-testvectors/intermediate-outputs/git_create_dir.txt

diff --git a/.gitignore b/.gitignore
index 353977d1..3e023b15 100644
--- a/.gitignore
+++ b/.gitignore
@@ -28,6 +28,9 @@ wally-pipelined/linux-testgen/nohup*
 wally-pipelined/linux-testgen/x*
 !wally-pipelined/linux-testgen/linux-testvectors/tvCopier.py
 !wally-pipelined/linux-testgen/linux-testvectors/tvLinker.sh
+!wally-pipelined/linux-testgen/linux-testvectors/intermediate-outputs
+wally-pipelined/linux-testgen/linux-testvectors/intermediate-outputs/*
+!wally-pipelined/linux-testgen/linux-testvectors/intermediate-outputs/git_create_dir.txt
 wally-pipelined/linux-testgen/buildroot/
 wally-pipelined/linux-testgen/buildroot-image-output
 wally-pipelined/linux-testgen/buildroot-config-src/main.config.old
diff --git a/wally-pipelined/linux-testgen/linux-testvectors/intermediate-outputs/git_create_dir.txt b/wally-pipelined/linux-testgen/linux-testvectors/intermediate-outputs/git_create_dir.txt
new file mode 100644
index 00000000..8b0068e8
--- /dev/null
+++ b/wally-pipelined/linux-testgen/linux-testvectors/intermediate-outputs/git_create_dir.txt
@@ -0,0 +1 @@
+This file only exists so that git will create ./.