From c1a2b8f3e4c8b5853e5728042eb8294753267579 Mon Sep 17 00:00:00 2001 From: Tejun Heo Date: Tue, 27 Feb 2024 08:14:38 -1000 Subject: [PATCH] tools/sched_ext: Drop unnecessary stuff from .gitignore --- tools/sched_ext/.gitignore | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/tools/sched_ext/.gitignore b/tools/sched_ext/.gitignore index 00e0eef67b7b3..d6264fe1c8cdb 100644 --- a/tools/sched_ext/.gitignore +++ b/tools/sched_ext/.gitignore @@ -1,6 +1,2 @@ -scx_simple -scx_qmap -*.skel.h -*.subskel.h -/tools/ +tools/ build/