Skip to content

Commit

Permalink
user_sched: move directory.
Browse files Browse the repository at this point in the history
  • Loading branch information
yk-fujii committed Apr 12, 2014
1 parent ba14c3a commit 83f201d
Show file tree
Hide file tree
Showing 5 changed files with 1 addition and 3 deletions.
4 changes: 1 addition & 3 deletions lib/configure
Expand Up @@ -62,9 +62,7 @@ elif [ $target = 'user' ] ; then
eval EXTRA_CFLAGS="EXTRA_CFLAGS?="'$'$DRIVER_NAME"_CFLAGS"
eval EXTRA_OBJS="EXTRA_OBJS="'$'$DRIVER_NAME"_OBJS"
eval EXTRA_LIBS="EXTRA_LIBS="'$'$DRIVER_NAME"_LIBS"
if [ $sched = 1 ] ; then
cp -f ../user/sched/* .
else
if [ $sched != 1 ] ; then
eval EXTRA_CFLAGS2="EXTRA_CFLAGS+=""-DGDEV_SCHED_DISABLED"
fi
else
Expand Down
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

0 comments on commit 83f201d

Please sign in to comment.