diff options
author | Dave Airlie <airlied@linux.ie> | 2004-03-23 11:17:03 +0000 |
---|---|---|
committer | Dave Airlie <airlied@linux.ie> | 2004-03-23 11:17:03 +0000 |
commit | 681da75af9837fd433d4773c86df52de1c8dba60 (patch) | |
tree | e2fb8877a9727bc1ca91aab0d71c9a20a59d8e73 | |
parent | dfc71cbd42fe4b4b445bd16087c05e525c38f509 (diff) |
make sure in DRM toplevel
-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 |