diff --git a/lua/luajit/luajit.conf b/lua/luajit/luajit.conf index 4788eedf5..87d5c1153 100644 --- a/lua/luajit/luajit.conf +++ b/lua/luajit/luajit.conf @@ -12,6 +12,18 @@ # GNU General Public License can be found in the file COPYING. # --- SDE-COPYRIGHT-NOTE-END --- +# saving our local patches and empty the patchfiles variable +localpatches=$patchfiles +patchfiles= + +# append official patches +for x in `match_source_file -p 'patch'` ; do + var_append patchfiles " " "$x" +done + +# append our local patches +var_append patchfiles " " "$localpatches" + # for binary distributions it is recommended to use the special target for an # amalgamated build which compiles the LuaJIT core as one huge C file and # allows GCC to generate faster and shorter code