diff options
| -rwxr-xr-x | scripts/create_lk_drm.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/create_lk_drm.sh b/scripts/create_lk_drm.sh index ad709c1c..ce7c460b 100755 --- a/scripts/create_lk_drm.sh +++ b/scripts/create_lk_drm.sh @@ -9,6 +9,11 @@ if [ $# -lt 2 ] ;then exit 1 fi +if [ ! -d shared -o ! -d linux ] ;then + echo not in DRM toplevel + exit 1 +fi + OUTDIR=$1/drivers/char/drm/ VERS=$2 |