From d9d92223c8da80523ef04e5ab4ccc390c813eae3 Mon Sep 17 00:00:00 2001
From: jvoisin
Date: Thu, 25 Jun 2020 15:13:42 +0200
Subject: Add a step to the release process

---
 CONTRIBUTING.md | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'CONTRIBUTING.md')

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 40ad357..4ff2bee 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -124,6 +124,8 @@ Maintainers need to do the following to push out a release:
 	 [milestone](https://github.com/jvoisin/snuffleupagus/milestones)
 2. Run `valgrind` (by adding a `-m` after the `-q` in the Makefile) and check that everything is ok.
    Don't mind the python-related issues.
+2. Run `cd src; phpize; ./configure --enable-snuffleupagus --enable-debug; scan-build make`
+   and fix the possible issues.
 3. Update the `src/php_snuffleupagus.h` according to [semantic versioning](https://semver.org/)
 4. Update the changelog page in the documentation
 5. Update the Debian changelog in `./debian/changelog` with `cd debian; dch`
-- 
cgit v1.3