diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -1111,3 +1111,6 @@ check-alembic: makeopts FORCE: +# This only stops targets within the root Makefile from building in parallel. +.NOTPARALLEL: + |