summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO1
1 files changed, 1 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 3a3d6d6872e3..ff279ef4921a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -6,6 +6,7 @@ pkgbase = ocaml-ppx_custom_printf
url = https://github.com/janestreet/ppx_custom_printf
arch = x86_64
arch = i686
+ arch = pentium4
arch = armv7h
arch = aarch64
license = MIT