1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Commit Graph

6 Commits

Author SHA1 Message Date
Benjamin Valentin
0b3e4cd43f tools/insufficient_memory: add create_makefile.ci.sh 2021-11-15 17:41:54 +01:00
cf04e5c824
Merge pull request #15347 from bergzand/pr/tools/sh2bash
dist/tools: Use bash instead of sh where needed
2020-10-30 16:47:38 +01:00
c5b2ded055
dist/tools: Use /usr/bin/env bash for bash scripts 2020-10-30 13:13:40 +01:00
Benjamin Valentin
555e8a8efb tools/insufficient_memory: restore build with no docker
It's useful being able to run this script without having Docker installed.
Introduce the `--no-docker` parameter to run the script without docker.
2020-10-29 18:19:04 +01:00
6c63e1b6c4
tools/insufficient_memory: improve error handling and output 2020-10-13 15:37:50 +02:00
Benjamin Valentin
bff06a4d64 tools: add add_insufficient_memory_board.sh script
This adds a script that automatically compiles all examples & tests for a given
board and updates Makefile.ci if necessary.
2019-11-12 13:52:15 +01:00