--- zzzz-none-000/linux-3.10.107/scripts/coccinelle/api/memdup_user.cocci 2017-06-27 09:49:32.000000000 +0000 +++ scorpion-7490-727/linux-3.10.107/scripts/coccinelle/api/memdup_user.cocci 2021-02-04 17:41:59.000000000 +0000 @@ -7,7 +7,7 @@ // Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6. GPLv2. // URL: http://coccinelle.lip6.fr/ // Comments: -// Options: -no_includes -include_headers +// Options: --no-includes --include-headers virtual patch virtual context