diff options
author | Uri Lublin <uril@redhat.com> | 2019-12-23 14:05:47 +0200 |
---|---|---|
committer | Frediano Ziglio <fziglio@redhat.com> | 2020-03-19 16:41:21 +0000 |
commit | 07f4992d596e87cbaa9d9fc8438254be159be3f0 (patch) | |
tree | 4eef4627200e3ac05a8260be122391f3e0ae1069 | |
parent | 3dfcc044359351f54d5f4c5f6797ccfd6a4890d2 (diff) |
Ignore spice-protocol untracked files
This will help with making a release.
spice-protocol's .gitignore is generated and not committed,
so after running ./autogen.sh (autoreconf) git thinks
spice-protocol is dirty (just because of generated files).
Signed-off-by: Uri Lublin <uril@redhat.com>
Acked-by: Frediano Ziglio <fziglio@redhat.com>
-rw-r--r-- | .gitmodules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index f946a4d..46920ea 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,4 @@ [submodule "spice-protocol"] path = spice-protocol url = git://git.freedesktop.org/git/spice/spice-protocol.git + ignore=untracked |