summaryrefslogtreecommitdiff
path: root/runtime/gen_primitives.sh
Commit message (Expand)AuthorAgeFilesLines
* Run whole of gen_primitives.sh with LC_ALL=CDavid Allsopp2019-09-261-1/+4
* Improve shell scripts (#1690)zapashcanon2019-06-191-1/+1
* Statistical memory profiling of blocks allocated in the major heap.Jacques-Henri Jourdan2019-05-091-2/+2
* fix PR#2146 (#2149)Damien Doligez2018-11-161-2/+2
* Make a few int64 primitives use [@@unboxed] stubs on 32bits (#2146)Jérémie Dimino2018-11-131-1/+3
* downgrade two shell scripts from 'bash' to 'sh'Gabriel Scherer2018-10-161-1/+1
* shebangs: use `/usr/bin/env bash` instead of `/bin/bash` for BSD compatGabriel Scherer2018-10-161-1/+1
* Provide a way to build the bytecode compiler using Dune (#2093)Thomas Refis2018-10-101-0/+28