ensure codetools in re-installed under R 4.* as well

Author: eddelbuettel

ChangeLog

@@ -1,3 +1,7 @@
+2020-03-31  Dirk Eddelbuettel  <[email protected]>
+
+	* docker/ci-dev/Dockerfile: Also install the 'codetools' package
+
 2020-03-24  Dirk Eddelbuettel  <[email protected]>
 
 	* DESCRIPTION (Version, Date): Roll minor version

docker/ci-dev/Dockerfile

@@ -8,7 +8,7 @@ LABEL org.label-schema.license="GPL-2.0" \
 
 RUN apt-get update \
         && apt-get install -y --no-install-recommends git \
-        && RDscript -e 'install.packages(c("inline", "pkgKitten", "rbenchmark", "tinytest"))'
+        && RDscript -e 'install.packages(c("codetools", "inline", "pkgKitten", "rbenchmark", "tinytest"))'
 
 ENV _R_CHECK_FORCE_SUGGESTS_ FALSE
 ENV _R_CHECK_TESTS_NLINES_ 0